Daml Ledger Model

Daml Ledgers enable multi-party workflows by providing parties with a virtual shared ledger, which encodes the current state of their shared contracts, written in Daml. At a high level, the interactions are visualized as follows:

A diagram of the Daml Ledger model. Three parties (Party A, B, and C) interact independently with a single box labeled virtual shared ledger. Each party has two types of interactions: request change (an arrow from the party to the ledger) and access per-party view (an arrow from the ledger to the party).

The Daml ledger model defines:

  1. what the ledger looks like - the structure of Daml ledgers
  2. who can request which changes - the integrity model for Daml ledgers
  3. who sees which changes and data - the privacy model for Daml ledgers

The below sections review these concepts of the ledger model in turn. They also briefly describe the link between Daml and the model.